Issue2442-postulate.agda:7,3-10
Cannot postulate A with safe flag
when scope checking the declaration
  A : Set
